$\forall$$T$:Type, $P$:($T$$\rightarrow\mathbb{B}$), $A$:$T$ List, $B$:Top. filter($P$;$A$ @ $B$) $\sim$ (filter($P$;$A$) @ filter($P$;$B$))